新しいプログラミング・パラダイム⑪ 抽象データ型とOBJ2 - 共立出版コンピュータサイエンス誌『bit』